 |
0 索取号:TP33-62/E901 作者: 出版社:Santa Clara, Calif. : Intel, 1978.?-.
|  |
0 索取号:TP302/E991 作者:Kozen、 Dexter、 1951-、 出版社:New York : Springer-Verlag, 1992.
|
 |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:D523.8/E20041 作者:Ducasse-Rogier、 Marianne、 出版社:Geneva : IOM, 2001.
|
 |
0 索取号:D734.26/E20041 作者:Bowen、 John Richard、 1951-、 出版社:Cambridge, UK ; New York : Cambridge University Press, 2003.
|  |
0 索取号:Q343/E20041 作者:Kiessling、 Ann A.、Anderson、 Scott、 1951-、 出版社:Sudbury, Mass. : Jones and Bartlett, c2003.
|
 |
0 索取号:K296.5/E20031 作者:Garrett、 Valery M.、 1942-、 出版社:New York, NY : Oxford University Press, 2002.
|  |
0 索取号:K92-7/E20041.2 作者:Brook、 Timothy、 1951-、 出版社:Ann Arbor : Center for Chinese Studies,University of Michigan, c2002.
|
 |
0 索取号:R741.51/E601 作者:Windle、 William Frederick、 1898- [from old catalog]、 出版社:Philadelphia ; London : W. B. Saunders company, 1940.
|  |
0 索取号:R741/E602 作者:Ford、 Frank Rodolph、 1893- [from old catalog]、 出版社:Springfield, Ill. ; Baltimore, Md. : C. C. Thomas, 1937.
|
 |
0 索取号:R737.9/E702 作者: 出版社:Boston : Little, Brown, 1968.
|  |
0 索取号:X-011/E20041 作者:Boehmer-Christiansen、 Sonja.、Kellow、 Aynsley J. (Aynsley John)、 1951-、 出版社:Cheltenham, UK ; Northampton, MA : Edward Elgar, c2002.
|
 |
0 索取号:TP311.133.1/E20031.2 作者:̈оzsu、 M. Tamer、 1951-、Valduriez、 Patrick.、 出版社:北京 : 清华大学出版社, 2002.
|  |
0 索取号:R710.4/E602 作者:Lull、 Clifford Bell、 1894-1951、 ed.、Kimbrough、 Robert A. (Robert Alexander)、 b. 1899.、Pennsylvania Hospital (Philadelphia、 Pa.)、 出版社:Philadelphia : Lippincott, [1953].
|
 |
0 索取号:Q-332/E20037 作者:Denny、 Mark W.、 1951-、Gaines、 Steven、 1951-、 出版社:Princeton, N.J. ; Oxford : Princeton University Press, c2000.
|  |
0 索取号:I561.25/E20031 作者:Blunden、 Edmund、 1896-1974.、Chan、 Mimi.、Kerr、 Douglas.、Preston、 John.、 出版社:Hong Kong : Hong Kong University Press, 2001.
|